Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
771	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
772	Microsoft Wordrevised.doc Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2011-06-08 19:50:44 Software testing Debugging Program slicing Reliability engineering Software bug Debugger Computer programming Bebugging Fault injection Software engineering Programming language theory Software development
773	. C U L T U R A C - I I E R I I A C I E a n d Add to Reading List Source URL: www.archimuse.com Language: English - Date: 2011-09-09 18:19:36 Ripple ALGOL 68 Software engineering Modern dance Computing Programming language theory Electricity Filter theory
774	Binary Translation Using Peephole Superoptimizers Sorav Bansal Computer Systems Lab Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-10-08 02:44:11 Instruction set architectures Compiler optimizations Programming language implementation Binary translation X86 Accumulator Transmeta Reduced instruction set computing MOV Computer architecture Computing X86 architecture
775	Visisoft yalst LiveSupportTool Statistics API Documentation Add to Reading List Source URL: www.visisoft.de Language: English - Date: 2014-08-04 06:59:58 Scripting languages Cross-platform software JavaScript Application programming interface Pascal Programming language theory Software engineering Computing
776	Image-based Fac¸ade Modeling Jianxiong Xiao Tian Fang Ping Tan∗ Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2009-01-13 21:44:09 Functional languages Programming language theory ML 3D modeling 3D scanner Computer graphics Texture synthesis Clean Segmentation 3D computer graphics Computing Software engineering
777	4 Stream Unit Development – Progress Report Formatted Table Maintenance Supervisor Add to Reading List Source URL: www.e-oz.com.au Language: English - Date: 2014-10-20 07:34:26 Construction ALGOL 68 Software engineering Disk formatting Computing Programming language theory Civil engineering
778	Functional Programming and Specification Examination 1. The exam lasts two hours. 2. Place your student identity card face-up on the desk in front of you. The invigilator may come to check your identity, and in this case Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 03:48:42 Standardized tests Functional languages Procedural programming languages Sports science Test Exam ML Programming language theory Education Software engineering
779	Delft University of Technology Software Engineering Research Group Technical Report Series Code Generation by Model Transformation. A Case Study in Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-03-31 16:38:20 Programming language theory Stratego/XT Program transformation List comprehension C Computing Software engineering Transformation languages
780	Microsoft Word2010Errata_6-26-2012_.doc Add to Reading List Source URL: www.bacnet.org Language: English - Date: 2012-11-26 15:03:30 BACnet Communication Programming language theory ALGOL 68 SQL Comma Clause Computing Building automation Software engineering

UPDATE